2

Model-checking process equivalences

Lange, Martin, Lozes, Etienne, Vargas Guzmán, Manuel
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 623 KB
english, 2014
4

Reasoning about sequences of memory states

Rémi Brochenin, Stéphane Demri, Etienne Lozes
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 1.62 MB
english, 2009
5

On the almighty wand

Rémi Brochenin, Stéphane Demri, Etienne Lozes
Journal:
Information and Computation
Year:
2012
Language:
english
File:
PDF, 486 KB
english, 2012
6

Elimination of quantifiers and undecidability in spatial logics for concurrency

Luís Caires, Etienne Lozes
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 395 KB
english, 2006
7

Adjuncts elimination in the static ambient logic

Étienne Lozes
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 225 KB
english, 2004
8

Elimination of spatial connectives in static spatial logics

Étienne Lozes
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 330 KB
english, 2005
9

A spatial equational logic for the appliedπ-calculus

Étienne Lozes, Jules Villard
Journal:
Distributed Computing
Year:
2010
Language:
english
File:
PDF, 678 KB
english, 2010
10

Shared contract-obedient channels

Lozes, Étienne, Villard, Jules
Journal:
Science of Computer Programming
Year:
2015
Language:
english
File:
PDF, 1.49 MB
english, 2015